The Railroad Crossing Problem: An Experiment with Instantaneous Actions and Immediate Reactions
نویسندگان
چکیده
We give an evolving algebra solution for the well-known railroad crossing problem and use the occasion to experiment with agents that perform instantaneous actions in continuous time and in particular with agents that fire at the moment they are enabled.
منابع مشابه
A Solution to the Generalized Railroad Crossing Problem in ESTEREL
We present a solution to the Generalized Railroad Crossing benchmark problem based on the ESTEREL programming language. The solution is shown to satisfy the formal statements of the properties that the system requirements specify by using a verification method for safety properties of ESTEREL programs recently developed. The solution and verification presented have been developed within the syn...
متن کاملA Process Algebraic Method for the Speci cationand
This chapter describes a timed process algebra, called ACSR, which supports time-consuming actions and instantaneous events. Actions model the usage of shared resources and the passage of time, whereas events allow synchronization between processes. To be able to specify real-time systems accurately, ACSR supports static priorities that can be used to arbitrate between actions competing for sha...
متن کاملA population-based algorithm for the railroad blocking problem
Railroad blocking problem (RBP) is one of the problems that need an important decision in freight railroads. The objective of solving this problem is to minimize the costs of delivering all commodities by deciding which inter-terminal blocks to build and by specifying the assignment of commodities to these blocks, while observing limits on the number and cumulative volume of the blocks assemble...
متن کاملA Process Algebra and Tools for the Speci cation and Analysis of Resource-Bound Real-Time System
There has been signiicant progress in the development of timed process algebra for the speciication and analysis of real-time systems in recent years. This chapter describes a timed process algebra, called ACSR, which supports synchronous timed actions and asynchronous instantaneous events. Timed actions model the usage of shared resources and the passage of time, whereas events allow synchroni...
متن کاملCenterline Curbing Treatment at Railroad Crossings for Improved Safety
The main objective of this paper is to report on unsafe actions of motor vehicle drivers at railroadhighway grade crossings and drivers’ response to installation of a centerline barrier that prevented them from driving around the gates. A comparison of unsafe driver actions in the preand post-barrier periods provided an idea about the effectiveness of the barrier in reducing unsafe driver actio...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1995